
using System;
using System.Text;

using NHibernate;
using NHibernate.Cfg;
using NHibernate.Criterion;
using NHibernate.Exceptions;

using SpotifyGenNHibernate.EN.Spotify;
using SpotifyGenNHibernate.CAD.Spotify;

namespace SpotifyGenNHibernate.CEN.Spotify
{
    public partial class TPVCEN
    {
        public bool ValidarDatos(int p_oid, string nombre, string numTarjeta, string codSeguridad)// funciones moc (tontas) para simular el tpv
        {
            /*PROTECTED REGION ID(Spotify.TPVCEN_ValidarDatos_precondition) START*/

            // Preconditions
            // if( !() )
            //              throw new ModelException("Method ValidarDatos() preconditions are violated.");

            /*PROTECTED REGION END*/

            /*PROTECTED REGION ID(Spotify.TPVCEN_ValidarDatos_body) ENABLED START*/

            // Body
            //throw new NotImplementedException ("Method ValidarDatos() not yet implemented.");

            if (nombre != "" && numTarjeta != "" && codSeguridad != "")
            {
                return true;
            }
            else
                return false;

            /*PROTECTED REGION END*/

            /*PROTECTED REGION ID(Spotify.TPVCEN_ValidarDatos_postcondition) START*/

            // Postconditions
            // if( !() )
            //              throw new ModelException("Method ValidarDatos() postconditions are violated.");

            /*PROTECTED REGION END*/
        }
    }
}
